f0a355d4a63c94352ec231d642f5cdf836986eb3,src/test/uniol/apt/analysis/coverability/CoverabilityGraphTest.java,CoverabilityGraphTest,testEmptyNet,#,163

In pattern: SUPERPATTERN

Frequency: 3

Non-data size: 3


Instances


1487669288
uli.schlachter@informatik.uni-oldenburg.de
CvO-Theory/apt,f0a355d4a63c94352ec231d642f5cdf836986eb3,src/test/uniol/apt/analysis/coverability/CoverabilityGraphTest.java,CoverabilityGraphTest,testEmptyNet,#,163


1487669288
uli.schlachter@informatik.uni-oldenburg.de
CvO-Theory/apt,f0a355d4a63c94352ec231d642f5cdf836986eb3,src/test/uniol/apt/analysis/coverability/CoverabilityGraphTest.java,CoverabilityGraphTest,testNoTransitionOnePlaceNet,#,178


1487669288
uli.schlachter@informatik.uni-oldenburg.de
CvO-Theory/apt,f0a355d4a63c94352ec231d642f5cdf836986eb3,src/test/uniol/apt/analysis/coverability/CoverabilityGraphTest.java,CoverabilityGraphTest,testOneTransitionNoPlaceNet,#,193